Intel Grant

Participants : Sylvain Conchon [contact] , Alain Mebsout.

S. Conchon has obtained an academic grant by Intel corporation on the development of the Cubicle model checker, for 2 years starting from Dec. 2012 The goal of this project is to develop a new version of Cubicle with significantly improved model-checking power. This required innovative algorithmic enhancements to be implemented and evaluated.

Partner: Intel Strategic Cad Labs in Hillsboro, OR, USA